//阻止继承（class无final时可用）
public sealed class Shape permits Rect, Tri {
    // 可以定义公共属性和方法
    public double area(){
        return 0;
    };  // 抽象方法，子类必须实现
}
